22nd International Conference on Rewriting Techniques and Applications (RTA'11)
نویسندگان
چکیده
Connections between Tree Automata and Term Rewriting are now well known. Whereas treeautomata can be viewed as a subclass of ground rewrite systems, tree automata are successfullyused as decision tools in rewriting theory. Furthermore, applications, including rewriting theory,have influenced the definition of new classes of tree automata. In this talk, we will first presenta short and not exhaustive reminder of some fruitful applications of tree automata in rewrit-ing theory. Then, we will focus on extensions of tree automata, specially tree automata withlocal or/and global (dis-)equality constraints: we will emphasize new results, compare differentextensions, and sketch some applications. This talk will be strongly inspired by recent works of several researchers, specially but not ex-clusively: Emmanuel Filiot, Guillem Godoy, Florent Jacquemard, Jean-Marc Talbot, CamilleVacher. 1998 ACM Subject Classification F.4.2.
منابع مشابه
Higher-Order Rewriting
Note: This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c Springer Verlag.
متن کاملAn On-line Problem Database
The RTA list of open problems was created in 1991 by Jean-Pierre Jouannaud, Jan Willem Klop, and the rst author [19] on the occasion of the Fourth International Conference on Rewriting Techniques and Applications (RTA). Updated lists have since been published at RTA '93 [20] and RTA '95 [21]. Bending to these electronic times, we have recently placed a combined list on the world-wide web at htt...
متن کاملAn On - line Problem
Preface The RTA list of open problems was created in 1991 by Jean-Pierre Jouannaud, Jan Willem Klop, and the rst author 21] on the occasion of the Fourth International Conference on Rewriting Techniques and Applications (RTA). Updated lists have since been published at RTA '93 22] and RTA '95 23]. Bending to these electronic times, we have recently placed a combined list on the worldwide web at...
متن کامل26th International Conference on Rewriting Techniques and Applications (RTA'15)
In the context of understanding, planning and anticipating the behaviour of complex systems,such as biological networks or social networks, this paper proposes port graphs, rules andstrategies, combined in strategic rewrite programs, as foundational ingredients for interactiveand visual programming and shows how they can contribute to dynamic data analytics. 1998 ACM Subject Cla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011